Logic modelingKIMBROUGH, Steven O.Decision support systems. 1998, Vol 22, Num 3, issn 0167-9236, 109 p.Serial Issue

Open induction and the true theory of rationalsADAMOWICZ, Z.The Journal of symbolic logic. 1987, Vol 52, Num 3, pp 793-801, issn 0022-4812Article

Classification and universality of reversible logic elements with one-bit memoryMORITA, Kenichi; OGIRO, Tsuyoshi; TANAKA, Keiji et al.Lecture notes in computer science. 2005, pp 245-256, issn 0302-9743, isbn 3-540-25261-4, 12 p.Conference Paper

A strong relevant logic model of epistemic processes in scientific discoveryJINDGE CHENG.Lecture notes in computer science. 1998, pp 403-404, issn 0302-9743, isbn 3-540-65390-2Conference Paper

Models of lower-bounds proofsNIGMATULLIN, R. G.Theoretical computer science. 1987, Vol 52, Num 3, pp 239-249, issn 0304-3975Article

Monadic binary relations and the monad systems at near-standard pointsVAKIL, N.The Journal of symbolic logic. 1987, Vol 52, Num 3, pp 689-697, issn 0022-4812Article

Nekonstruktiviziruemye formal'nye arifmeticheskie strukturyTVERSKOJ, A. A.Izvestiâ Akademii nauk SSSR. Seriâ matematičeskaâ. 1987, Vol 51, Num 1, pp 111-130, issn 0373-2436Article

Definability in the Turing degreesSLAMAN, T. A; WOODIN, W. H.Illinois journal of mathematics. 1986, Vol 30, Num 2, pp 320-334, issn 0019-2082Article

Logical Effort Model Extension with Temperature and Voltage VariationsWU, Chun-Hui; LIN, Shun-Hua; CHIUEH, Herming et al.International workshop on thermal investigation of ICs and systems. 2008, pp 85-88, isbn 978-2-35500-008-9, 1Vol, 4 p.Conference Paper

psmodels : Stable models based on pertinenceOTERO, Ramon P.Lecture notes in computer science. 2001, pp 420-423, issn 0302-9743, isbn 3-540-42593-4Conference Paper

Un modèle de classification des donnéesPOLYAKOV, O. M.Naučno-tehničeskaâ informaciâ - Vsesoûznyj institut naučnoj i tehničeskoj informacii. Seriâ 2. Informacionnye processy i sistemy. 1986, Num 9, pp 13-20, issn 0548-0027Article

L'analyse Implicative Bayésienne, une méthode pour l'étude des dépendances orientées. II : Modèle logique sur un tableau de contingence = Bayesian Implicative Analysis, a method for the study of oriented dependencies. II : Logical model on a contengency tableBERNARD, J.-M; CHARRON, C.Mathématiques, informatique et sciences humaines. 1996, Num 135, pp 5-18, issn 0995-2314Article

An outline of a general model for information retrieval systemsJIANYUN NIE.International conference on research and development in information retrieval. 11. 1988, pp 495-506Conference Paper

Modeling logic systems with structured array-based logicDAVIDRAJUH, Reggie; HUSSEIN, Bassam.Modeling, identification and control. 2003, Vol 24, Num 1, pp 27-35, issn 0332-7353, 9 p.Article

Motivational attitudes of agents: On desires, obligations, and normsDIGNUM, Frank; KINNY, David; SONENBERG, Liz et al.Lecture notes in computer science. 2002, pp 83-92, issn 0302-9743, isbn 3-540-43370-8Conference Paper

A new approach toward modeling causality in commonsense reasoningSUN, R.International journal of intelligent systems. 1995, Vol 10, Num 6, pp 581-616, issn 0884-8173Article

Bases de données déductives dans les systèmes de gestionVAGIN, V. N; GOLOVKO, A. V.Izvestiâ Akademii nauk SSSR. Tehničeskaâ kibernetika. 1987, Num 2, pp 60-73, issn 0002-3388Article

Peano arithmetic and hyper-Ramsey logicSCHMERL, J. H.Transactions of the American Mathematical Society. 1986, Vol 296, Num 2, pp 481-505, issn 0002-9947Article

Validity of CTL queries revisitedSAMER, Marko; VEITH, Helmut.Lecture notes in computer science. 2003, pp 470-483, issn 0302-9743, isbn 3-540-40801-0, 14 p.Conference Paper

Semantic query transformationBERTINC, E; MUSTO, D.Congrès INFORSID 1986. 1986, pp 141-171Conference Paper

MCK: Model Checking the logic of KnowledgeGAMMIE, Peter; VAN DER MEYDEN, Ron.Lecture notes in computer science. 2004, pp 479-483, issn 0302-9743, isbn 3-540-22342-8, 5 p.Conference Paper

On the logical modeling of ETL processesVASSILIADIS, Panos; SIMITSIS, Alkis; SKIADOPOULOS, Spiros et al.Lecture notes in computer science. 2002, pp 782-786, issn 0302-9743, isbn 3-540-43738-X, 5 p.Conference Paper

Strong negation in well-founded and partial stable semantics for logic programsCABALAR, Pedro; ODINTSOV, Sergei; PEARCE, David et al.Lecture notes in computer science. 2006, pp 592-601, issn 0302-9743, isbn 3-540-45462-4, 1Vol, 10 p.Conference Paper

Software analysis and model checkingHOLZMANN, Gerard J.Lecture notes in computer science. 2002, pp 1-16, issn 0302-9743, isbn 3-540-43997-8, 16 p.Conference Paper

A game-based verification of non-repudiation and fair exchange protocolsKREMER, Steve; RASKIN, Jean-Francois.Lecture notes in computer science. 2001, pp 551-565, issn 0302-9743, isbn 3-540-42497-0Conference Paper